Found 1 query results that match IFV 8.1

  • Cadence IFV 8.1 Linux

    Cadence Incisive Formal Verifier(IFV) allows design teams to start RTL block verification months earlier than when using traditional simulation-based techniques. Its formal, assertion-based approach and exhaustive analysis capabilities ensure verification quality by pinpointing the source of bu.....
    Language : english Authorization: Pre Release Freshtime：2009-09-13 Size: 1.02G